You Are in a Box
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Dual numbers
funcall.blogspot.com·6h·
Discuss: www.blogger.com
📐Interval Arithmetic
Enough unix to get by
thoughtbot.com·2d
📝Shell Parsing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·17h
🔧RISC-V Assembler
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·1h
💻Programming languages
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Intent, Not Tools, Defines the Discipline
brettshavers.com·1h
🕳️Information Leakage
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·3h·
Discuss: Hacker News
✨Algebraic Effects
Signed and stealing: uncovering new insights on Odyssey infostealer
jamf.com·8h
🔓Password Cracking
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
How to reason from first principles
caseyhandmer.wordpress.com·3h
🎯Proof Tactics
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Python `apply()` vs. `apply_async()`: Which Should You Use?
thenewstack.io·6h
🌊Stream Processing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Parsing Protobuf Like Never Before
mcyoung.xyz·16h
🔧Binary Parsers
Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·11h
🔍eBPF
Software is Never Done: Embracing Constant Evolution and Change will Result in a Better System
itnext.io·7h
🔄Language Evolution
A PhD's Apology
cappadokes.github.io·10h·
Discuss: Hacker News
🧮Theoretical Computer Science
Zig Interface Revisited
williamw520.github.io·6h·
Discuss: Hacker News
🧩WASM Components